One of the very few accounts in English of German idealism, this ambitious work advances and revises our understanding of both the history and the thought of the classical period of German philosophy. As he traces the structure and evolution of idealism as a doctrine, Frederick Beiser exposes a strong objective, or realist, strain running from Kant to Hegel and identifies the crucial role of the early romantics—Hölderlin, Schlegel, and Novalis—as the founders of absolute idealism.

The notion that our society, its education system and its intellectual life, is characterised by a split between two cultures – the arts or humanities on one hand and the sciences on the other – has a long history. But it was C. P. Snow's Rede lecture of 1959 that brought it to prominence and began a public debate that is still raging in the media today. This fiftieth anniversary printing of The Two Cultures and its successor piece, A Second (...) Look features an introduction by Stefan Collini, charting the history and context of the debate, its implications and its afterlife. The importance of science and technology in policy run largely by non-scientists, the future for education and research, and the problem of fragmentation threatening hopes for a common culture are just some of the subjects discussed. (shrink)

This book shows you what it is like to think along with Aristotle and helps you to see the universe and our place in it as he thought they had to be seen to be scientifically intelligible. As a portrait is composed of colors and shapes that collectively represent someone, so Aristotles works are composed of arguments that collectively represent the causal structure of the universe, from the stones, plants, and animals around us to the starry heavens above and the (...) god beyond them. The aim of this brief immersion is to guide you through those arguments in a way that lets you understand for yourself why they proceed as they do and end where they do."--Publisher. (shrink)

This book presents an up-to-date, unified treatment of research in bounded arithmetic and complexity of propositional logic, with emphasis on independence proofs and lower bound proofs. The author discusses the deep connections between logic and complexity theory and lists a number of intriguing open problems. An introduction to the basics of logic and complexity theory is followed by discussion of important results in propositional proof systems and systems of bounded arithmetic. More advanced topics are then treated, including polynomial simulations and (...) conservativity results, various witnessing theorems, the translation of bounded formulas (and their proofs) into propositional ones, the method of random partial restrictions and its applications, direct independence proofs, complete systems of partial relations, lower bounds to the size of constant-depth propositional proofs, the method of Boolean valuations, the issue of hard tautologies and optimal proof systems, combinatorics and complexity theory within bounded arithmetic, and relations to complexity issues of predicate calculus. Students and researchers in mathematical logic and complexity theory will find this comprehensive treatment an excellent guide to this expanding interdisciplinary area. (shrink)

Watson and Crick’s discovery of the structure of DNA led to developments that transformed many biological sciences. But what were the relevant developments and how did they transform biology? Much of the philosophical discussion concerning this question can be organized around two opposing views: theoretical reductionism and layer-cake antireductionism. Theoretical reductionist and their anti-reductionist foes hold two assumptions in common. First, both hold that biological knowledge is structured like a layer cake, with some biological sciences, such as molecular biology cast (...) at lower levels of organization, and others, such as classical genetics, cast at higher levels. Second, both assume that scientific knowledge is structured by theory and that the productivity of scientific research depends on whether the underlying theory identifies the fundamentals upon which the phenomena to be explained and investigated depend. In the first part of this paper, I challenge these assumptions. In the second part, I show how recasting the basic theory of classical genetics made it possible to retool the methodologies of genetics. It was the investigative power of these retooled methodologies, and not the explanatory power of a gene-based theory, that transformed biology. (shrink)

A study in philosophical logic of the meaning of 'true'. Dr Williams demonstrates the shortcomings of various analyses which interpret 'true' as a predicate or truth as a relational property, and clears up a number of important points about propositions, quantification, definite descriptions and correspondence. This 'deflationary metaphysics' is interwoven with a positive theory of his own, which seeks to develop ideas about the late Arthur Prior. The work is marked throughout by great clarity, precision and thoroughness.

Johannes Climacus, Søren Kierkegaard's pseudonymous author of Philosophical Fragments, "invents" a religion suspiciously resembling Christianity as an alternative to the assumption that humans possess the Truth within themselves. Through this literary device, Climacus raises in a fresh and audacious way age-old questions about the relation of Christian faith to human reason. Is the idea of a human incarnation of God logically coherent? Is religious faith the product of a voluntary choice? In a comprehensive discussion of one of Kierkegaard's most important (...) books, C. Stephen Evans elucidates Kierkegaard's novel explanation that the tension between faith and reason must be understood as a consequence of the passionate character of reason itself. Passionate Reason situates Kierkegaard's philosophy in the context of postmodern religious thought, providing a contemporary reading of Fragments as a challenge to both the modern Enlightenment critique of reason and the postmodern abandonment of truth. (shrink)

Au premier abord, les visées et les méthodes philosophiques de Spinoza et de Sartre semblent radicalement différentes. Or, ces différences radicales se trouvent dépassées dès qu'on se penche sur une problématique commune à ces deux philosophes : la production et le maintien de la communauté libre. Une interrogation philosophique sur la question de l'articulation de l'éthique et de la politique nous donnera la possibilité d'évaluer ces philosophes comme les constituants d'une certaine théorie anticontractualiste se fondant spécifiquement sur l'idée de l'émancipation (...) perpétuelle de l'individu dans et par la communauté."--Page 4 of cover. (shrink)

The essay argues that while the thinking of Martin Heidegger was just one (albeit important) non-Marxist element present within the pattern of Kosík’s Dialectics of the Concrete, the later development of Kosík’s thought, especially the later phase of his work attested in the texts from the 1990’s, made the Czech philosopher a Heideggerian thinker and, in a certain sense, a traditionalist whose “critical thinking” simply incorporated some Marxist elements. The essay examines the discrepancies to be found in such an attempt (...) to synthesize the traditionalist thought with the emancipatory aiming of a politically progressive line of thought and especially the tension between Kosík’s democratism and the traditionalist hierarchical ontology. (shrink)

Part of The US Army Large-Scale Combat Operations Series, Maintaining the High Ground combines discussions and historical case studies from the past seventy-five years to address ethical challenges for the Army Profession. With today's all-volunteer Army, maintaining public trust is critical, and large-scale combat operations require a professional class of leaders and soldiers with strong ethics and the ability to adapt and even shape their own future.

A universal reasoning approach based on shallow semantical embeddings of higher-order modal logics into classical higher-order logic is exemplarily employed to analyze several modern variants of the ontological argument on the computer. Several novel findings are reported which contribute to the clarification of a long-standing dispute between Anderson and Hájek. The technology employed in this work, which to some degree realizes Leibniz’s dream of a characteristica universalis and a calculus ratiocinator for solving philosophical controversies, is ready to be fruitfully adopted (...) in larger scale by philosophers. (shrink)